仕様を満たした型
を設計する[仕様を満たしていることをデータ構造で表現する]仕様を型で表現する[型は仕様]「ある値が、この型に属している場合は、仕様を満たしている」ということを表現できるような型を設計する
Making Illegal States Unrepresentable
型を使って間違った操作をさせないデザインにしよう
間違った状態になりようのないような仕様を満たした型を定義する
具体例
参考
恐らく初出
>#WIP
2つのMaybeを必要とする関数で、両方ともJustである必要がある関数の場合は、
2つのMaybeを取るのではなく、
Maybe (a, b) を取るように修正する 長さの同じ2つのListを取ることを強制するためには、
[(a, b)] を取るように変えればいい 型の取りうるパターンの数に着目して、隙がないように作ってる
間違った操作をさせないデザインを型で表現する
ときには妥協も必要
2つの例で書かれている
emailのverifiedとunverifiedという2つの状態をBooleanで区別するのではなくUnionで書こうな、という話
EmailとAddressのどちらかが必須である、ということを表すために
Maybeとかを使うと、不適切な状態で作られうるので、これもUnionでやろうな、という話
この本の方が先だとは思うけど、Making Illegal States Unrepresentable#a68923とだいたい同じ内容
UnvalidateedAddress と ValidatedAddress のような型で区別した際に、何かの検査の後に達する状態の方( ValidatedAddress )はprivateにしておくと良い オセロの実装で考える
15パターンの時
連絡先には、電子メール、住所、自宅の電話、または勤務先の電話のうち少なくとも 1 つが必要
type Contact = { Name: PersonalName; PrimaryContactMethod: ContactMethod; SecondaryContactMethods: ContactMethod list; } type ContactMethod = | Email of EmailContactInfo | PostalAddress of PostalContactInfo | HomePhone of PhoneContactInfo | WorkPhone of PhoneContactInfo PrimaryContactMethod: ContactMethod SecondaryContactMethods: ContactMethod list; とすることで、Primaryの方は必須で、Secondaryの方はoptional(空リスト)とできる
PrimaryとSecondaryに同じ物が入りうる
Secondary内に重複がありうる
